De l'oprateur de trace dans les jeux de Conway
نویسنده
چکیده
In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of an Algol-like language with higher-order using the presence of a trace operator in our model to describe the memorial aspect of the language.
منابع مشابه
فایل کامل مجلّه مطالعات زبان فرانسه دو فصلنامه علمی پژوهشی زبان فرانسه دانشکده زبانهای خارجی دانشگاه اصفهان
Tâ ÇÉÅ wx W|xâ Revue des Études de la Langue Française Revue semestrielle de la Faculté des Langues Étrangères de l'Université d'Ispahan Cinquième année, N° 8 Printemps-Eté 2013, ISSN 2008- 6571 ISSN électronique 2322-469X Cette revue est indexée dans: Ulrichsweb: global serials directory http://ulrichsweb.serialssolutions.com Doaj: Directory of Open Access Journals http://www.doaj.org ...
متن کاملParticipation de l'Institut Razi dans la lutte contre les nouvelles Epizooties de la Peste Equine
متن کامل
Study of Pneumothorax in Children: A Case Report
PNEUllOTHORAX DE L'ENFANT Presentation de 17 cas. Revue de la litterature Par: Marandian M.H., Momenzadhe A., Walizade G., Kabiri M., A'skari H. et Movasat M. Durant deux ans et demi, 17 cas de pneumothorax ont ete observes dans le service de Pediatrie de !'Hospital Pahlavi de l'Univm-site de Teheran: 1)9 de ces malades etaient ages de moins d'un an. Le malade le plus age atteint de pn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/math/0607462 شماره
صفحات -
تاریخ انتشار 2006